Les parcs nationaux aux États-Unis et la « tragédie des commons »

Utilisation des langages d'arbres pour la modélisation et la vérification des systèmes à états infinis

This document presents different tools to represent and manipulate infinitsets of tree tuples called tree tuple languages. We choose logic programming as formalismto describe tree tuple languages (i.e relations) and logic program transformation techniquesfor computing operations on them. In a first step we study a class of relation closed underusual sets operations, the class of...

La lutte contre les argaside, gale psoroptique et phtiriase des moutons par l'administration des insecticides par la vole buccale

La dose tolérée et toxique de la saponine chez les chèvres et les moutons

Les variations dans la fermentation des glucides par Salmonella gallinarum et Salmonella pullorum. Leur intérêt diagnostic

Les vaccins modernes contre la peste bovine. Etude comparative des vaccins inactives et des virus attenues (virus-vaccins)